}
assert superclassVertex != null;
graph.createEdge(vertex, superclassVertex);
}
/**
if (DEBUG) {
System.out.println(" Add edge " + vertex.getClassDescriptor().toDottedClassName() + " -> " + superclassDescriptor.toDottedClassName());
}
graph.createEdge(vertex, superclassVertex);
}
}